function $get(controlid){return typeof(controlid)=="string" ? document.getElementById(controlid):controlid;}
function $setValue(controlid,value){$get(controlid).value=value;}
function colOrUncol(ctrid){$get(ctrid).style.display=$get(ctrid).style.display=="none"?"block":"none";}